| 1. | The same is true for the Harvard Chart Method of Logical Equation Reduction.
|
| 2. | One is the satisfiability problem, a notoriously difficult computer science problem that involves lengthy logical equations.
|
| 3. | How about a multiple state logical equation?
|
| 4. | What math programs ( like Mathcad ) include a function to reduce logical equations to minimum form?
|
| 5. | I began using computers to verify results of logical equations I solved previously by hand in about 1963.
|
| 6. | Are there any distributed ( like SETI ) programs that reduce multiple state logical equations to minimum form?
|
| 7. | That a Serb child will be killed so that a Kosovar Albanian child won't isn't a just or logical equation.
|
| 8. | :: : : : : If not multiple state logical equation reduction then what else might one term logical human thought?
|
| 9. | Mathematica doesn't " just " do logical equation reduction either . The preceding talk ) 22 : 51, 15 April 2007 ( UTC ).
|
| 10. | :: : : : The theory of multistate logical equations is not exactly mainstream, so there is presumably no real reason to implement such functionality.
|